Design Space Exploration and Manipulation for Cyber Physical Systems

نویسندگان

  • Himanshu Neema
  • Zsolt Lattmann
  • Patrik Meijer
  • James Klingler
  • Sandeep Neema
  • Ted Bapty
  • Janos Sztipanovits
  • Gabor Karsai
چکیده

Cyber-Physical Systems (CPS) [1] are engineered systems that require tight interaction between physical and computational components. Designing a CPS is highly challenging [2] because these systems are inherently complex, need significant effort to describe and evaluate a vast set of crossdisciplinary interactions, and require seamless meshing of physical elements with corresponding software artifacts. Moreover, a large set of architectural and composable alternatives must be systematically explored and evaluated in the context of a highly constrained design space. The constraints imposed on the selection of alternatives are derived from the system’s functional, performance, dimensional, physical, and economical objectives. Furthermore, the design process of these systems is highly iterative and requires continuous integration of design generation with design selection and manipulation supported by design analyses. Existing computer-aided design tools are not well-suited for this method of design. To facilitate the iterative design process for CPS-s, we have developed a design toolchain, OpenMETA [4] [9], built around a DomainSpecific Modeling Language (DSML) [3], called the Cyber-Physical Modeling Language (CyPhyML). In this paper, we present parts OpenMETA that address the requirements of Design Space Exploration and Manipulation (DSEM) for CPS-s.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A co-simulation framework for design of time-triggered automotive cyber physical systems

Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. Automotive control system is a typical CPS example and often designed based on a time-triggered paradigm. In this paper, a co-simulation framework that considers interacting CPS components for assisting time-triggered automotive CPS design is proposed....

متن کامل

Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems

When designing cyber-physical systems (CPS), virtual prototyping can discover potential design flaws at early design stages to reduce the difficulties at the integration stage. CPS are typically complex real-time distributed systems which require networks with deterministic end-to-end latency and bounded jitter. Time-triggered Ethernet (TTEthernet) integrates time-triggered and event-triggered ...

متن کامل

CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics

We describe a new methodology and environment for Cyber Physical Systems (CPS) synthesis and demonstrate it in the design of microrobots viewed as CPS. Various types of microrobots have been developed in recent years for applications related to collaborative motion such as, sensor networks, exploration and search-rescue in hazardous environments and medical drug delivery. However, control algor...

متن کامل

Manipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach

Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...

متن کامل

An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine

Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014